Sfoglia per Rivista LECTURE NOTES IN COMPUTER SCIENCE
Design of Acoustic Metamaterials through Nonlinear Programming
2016-01-01 Gnecco, G; Lepidi, M; Gambarotta, L; Bacigalupo, A
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction
2014-01-01 De Nicola, R; Iacobelli, G; Tribastone, M
Distributed Generation and Resilience in Power Grids
2013-01-01 Scala, A; M., Mureddu M; Caldarelli, G; Chessa, A; Damiano, A
Distribution and Locality of Concurrent Systems
1994-01-01 Corradini, F; De Nicola, R
Dynamic SLAs for Clouds
2016-01-01 Rafael Brundo, Uriarte; Francesco, Tiezzi; De Nicola, R
Foreword
2013-01-01 De Nicola, R; Juiien, C
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
2016-01-01 Marco, Bernardo; De Nicola, R; Jane, Hillston:
Formalising Adaptation Patterns for Autonomic Ensembles
2013-01-01 Cesari, L; De Nicola, R; Pugliese, R; Puviani, M; Tiezzi, F; Zambonelli, F
Fully Abstract Models for Nondeterministic Regular Expressions
1995-01-01 Corradini, F; De Nicola, R; Labella, A
Global protocol implementations via attribute-based communication
2015-01-01 De Nicola, R; Mezzina, CLAUDIO ANTARES; MENDES TORRES VIEIRA, H
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterisations
2014-01-01 Bernardo, M; De Nicola, R; Loreti, M
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction
2014-01-01 Wirsing, M; De Nicola, R; Hölzl, M
Last Mile’s Resources
2016-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Linear-Time and May-Testing in a Probabilistic Reactive Setting
2011-01-01 Acciai, L; Boreale, M; De Nicola, R
Measuring Quality, Reputation and Trust in Online Communities
2012-01-01 Liao, H; Cimini, G; Medo, M
Models and Operators for Nondeterministic Processes
1984-01-01 De Nicola, R
Network-Aware Evaluation Environment for Reputation Systems Authors
2013-01-01 Celestini, A; De Nicola, R; Tiezzi, F
On the Power of Attribute-Based Communication
2016-01-01 Yehia Abd, Alrahman; De Nicola, R; M., Loreti
Orchestrating Tuple-Based Languages
2011-01-01 De Nicola, R; Margheri, A; Tiezzi, F
Partial ordering derivations for CCS
1985-01-01 Degano, P; De Nicola, R; Montanari, U
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Design of Acoustic Metamaterials through Nonlinear Programming | 1-gen-2016 | Gnecco, G; Lepidi, M; Gambarotta, L; Bacigalupo, A | |
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction | 1-gen-2014 | De Nicola, R; Iacobelli, G; Tribastone, M | |
Distributed Generation and Resilience in Power Grids | 1-gen-2013 | Scala, A; M., Mureddu M; Caldarelli, G; Chessa, A; Damiano, A | |
Distribution and Locality of Concurrent Systems | 1-gen-1994 | Corradini, F; De Nicola, R | |
Dynamic SLAs for Clouds | 1-gen-2016 | Rafael Brundo, Uriarte; Francesco, Tiezzi; De Nicola, R | |
Foreword | 1-gen-2013 | De Nicola, R; Juiien, C | |
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems | 1-gen-2016 | Marco, Bernardo; De Nicola, R; Jane, Hillston: | |
Formalising Adaptation Patterns for Autonomic Ensembles | 1-gen-2013 | Cesari, L; De Nicola, R; Pugliese, R; Puviani, M; Tiezzi, F; Zambonelli, F | |
Fully Abstract Models for Nondeterministic Regular Expressions | 1-gen-1995 | Corradini, F; De Nicola, R; Labella, A | |
Global protocol implementations via attribute-based communication | 1-gen-2015 | De Nicola, R; Mezzina, CLAUDIO ANTARES; MENDES TORRES VIEIRA, H | |
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterisations | 1-gen-2014 | Bernardo, M; De Nicola, R; Loreti, M | |
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction | 1-gen-2014 | Wirsing, M; De Nicola, R; Hölzl, M | |
Last Mile’s Resources | 1-gen-2016 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
Linear-Time and May-Testing in a Probabilistic Reactive Setting | 1-gen-2011 | Acciai, L; Boreale, M; De Nicola, R | |
Measuring Quality, Reputation and Trust in Online Communities | 1-gen-2012 | Liao, H; Cimini, G; Medo, M | |
Models and Operators for Nondeterministic Processes | 1-gen-1984 | De Nicola, R | |
Network-Aware Evaluation Environment for Reputation Systems Authors | 1-gen-2013 | Celestini, A; De Nicola, R; Tiezzi, F | |
On the Power of Attribute-Based Communication | 1-gen-2016 | Yehia Abd, Alrahman; De Nicola, R; M., Loreti | |
Orchestrating Tuple-Based Languages | 1-gen-2011 | De Nicola, R; Margheri, A; Tiezzi, F | |
Partial ordering derivations for CCS | 1-gen-1985 | Degano, P; De Nicola, R; Montanari, U |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile